class C {
  int[] a = new int[<caret>]{42};
}